Nuprl Definition : state_after 11,40

state_after(e) == when-after(e;info;pred?;init;Trans;val;time).2 
latex



clarification:

state_after(e;info;pred?;init;Trans;val;time) == when-after(e;info;pred?;init;Trans;val;time).2 
latex


Definitionswhen-after(e;info;pred?;init;Trans;val;time), t.2
FDL editor aliasesstate_after

origin